361. Second Generation Expert Systems
پدیدآورنده : edited by Jean-Marc David, Jean-Paul Krivine, Reid Simmons.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
76
.
E95
E358
1993
362. Secure networked inference with unreliable data sources /
پدیدآورنده : Aditya Vempaty, Bhavya Kailkhura, Pramod K. Varshney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network architectures.,Electronic data processing-- Distributed processing.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Computer network architectures.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Imaging systems & technology.,Maths for computer scientists.,Network hardware.
رده :
TK5105
.
5
363. Self-Timed Control of Concurrent Processes
پدیدآورنده : edited by Victor I. Varshavsky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
364. Self-assembling systems :
پدیدآورنده : edited by Li-Tang Yan, Department of Chemical Engineering, Tsinghua University, China
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Colloidal crystals.,Polymers.,Self-assembly (Chemistry)
رده :
QD475
365. Sensor network operations /
پدیدآورنده : edited by Shashi Phoha, Thomas LaPorta, Christopher Griffin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sensor networks.,Sensor networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7872
.
D48
S435
2006eb
366. Shifting practices :
پدیدآورنده : Giovan Francesco Lanzara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer music.,Music-- Instruction and study-- Data processing.,Technological innovations, Case studies.,Technology-- Social aspects, Case studies.,Video tapes in court proceedings.,BUSINESS & ECONOMICS-- Industries-- General.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer music.,Engineering & Applied Sciences.,Music-- Instruction and study-- Data processing.,Technological innovations.,Technology - General.,Technology-- Social aspects.,Video tapes in court proceedings.
رده :
T14
.
5
.
L35
2016eb
367. Simulation and Model-Based Methodologies:
پدیدآورنده : edited by Tuncer I. Ören, Bernard P. Zeigler, Maurice S. Elzas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
E358
1984
368. Simulation by Bondgraphs :
پدیدآورنده : by Jean Ulrich Thoma.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Engineering mathematics.
رده :
TA338
.
B6
B954
1990
369. SoC: Design Methodologies for SoC and SiP-VLSI
پدیدآورنده : / Christian Piguet, Ricardo Reis, Dimitrios Soudris
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL & METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
370. Soft computing and intelligent systems design :
پدیدآورنده : Fakhreddine O. Karray and Clarence de Silva.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science),Soft computing.,Informatique douce.,Systèmes experts (Informatique),Expert systems (Computer science),Informatique douce.,Soft computing.,Systèmes experts (informatique)
رده :
QA76
.
9
.
S63
K37
2004
371. Soft-computing-based nonlinear control systems design
پدیدآورنده : Uday Pratap Singh, Madhav Institute of Technology and Science, India, Akhilesh Tiwari, Madhav Institute of Technology and Science, India, Rajeev Kumar Singh, Madhav Institute of Technology and Science, India
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Automatic control,، Nonlinear control theory,، Soft computing
رده :
TJ
213
.
S5176
372. Software Development and Reality Construction
پدیدآورنده : edited by Christiane Floyd, Heinz Züllighoven, Reinhard Budde, Reinhard Keil-Slawik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1992
373. Software engineering education :
پدیدآورنده : Jorge L. Diaz-Herrera (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
374. Software process improvement and capability determination :
پدیدآورنده : Ioannis Stamelos, Rory V. O'Connor, Terry Rout, Alec Dorling (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development-- Management, Congresses.,Software engineering, Congresses.,Information Systems Applications (incl. Internet).,Management of Computing and Information Systems.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Theory of Computation.,Business & Economics-- Information Management.,Computer science.,Computer software-- Development-- Management.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Information architecture.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
.
S65
2018eb
375. Specification of Software Systems
پدیدآورنده : by V.S. Alagar, K. Periyasamy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
376. Statistical atlases and computational models of the heart :
پدیدآورنده : Oscar Camara [and five others], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision.,Electronic data processing.,Information storage and retrieval systems.
377. Stochastic processes, estimation, and control /
پدیدآورنده : Jason L. Speyer, Walter H. Chung.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Control theory.,Estimation theory.,Stochastic processes.,Control theory.,Estimation theory.,Schätztheorie.,Schätztheorie.,Stochastic processes.,Stochastische Kontrolltheorie.,Stochastische Kontrolltheorie.,Stochastischer Prozess.,Stochastischer Prozess.
رده :
QA274
.
S655
2008
378. Supercollider 4.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QC787
.
P7
S874
2013
379. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
